(declare-const v6 Bool)
(declare-const v2 Bool)
(declare-const v7 Bool)
(declare-const i2 Int)
(declare-const i3 Int)
(push)
(assert (exists ((q4 Bool) (q5 Int) (q6 Bool) (q7 Bool)) (=> (or (distinct 50 67) q4 q7 q7 q7) (> q5 q5))))
(pop)
(assert (or v6 (distinct v7 (> i3 i2) v2) (> i3 i2)))
(check-sat)
